Skip to main content

NASA Technical Reports Server (NTRS) 20100018556: Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B

Item Preview

SIMILAR ITEMS (based on metadata)